ZMSY10.360[360,GF]3 - www.SailDart.org

perm filename ZMSY10.360[360,GF]3 blob sn#829305 filedate 1986-12-01 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔&"p_'#⊂→G∧_ε`␈␈␈␈x␈␈␈␈p⊂x␈␈␈␈`∧8 $ ⎇@εP⊃(jDFSpiE&4 4#β⊂ ⊂~XβBε∀ 3A `βG|h∧C`c0
G|X∧D@S_	λ |P∧ERxλHaH∧¬@RhπIA@∧¬`bHπ
!8βF@R8εJa0βF`R(ε |(βGR_ε@| βG Rλ¬Ka_βG@Qx¬L↓⊂βG@ah¬L!λβG`Qh¬Aλβπ`aX¬`|βλQP¬
{xβλaH∧M↓pβλa@¬
↓hβG`q8∧M!`βG`q0∧MAXβG`q0∧M@{PβGA↓0∧
`{HβG!⊃(∧MA@βG!⊃(∧
a8βG↓!(∧
a0βFA10∧
a(βF↓A0∧∞{ βE!q0∧∞{_βDb↓8∧∞{⊂βD"↓H∧
aλβCb↓XβN↓
x∧βAqhβN↓
p∧β↓bβN↓
h∧αaR⊂βNz`∧αa2 βNzP∧αa2(βMa
H∧αa∩8βMa
@∧αA∩@βMa
0∧BA∩@βMa
(∧αaαPβ
`z ∧αaαPβ
`z⊂∧B`rXβ
A
λ∧βrXβ
A	x∧C bXβM@yh¬β b`β
@y`∧C@b`β
`YP¬β`R`β∞ 9@¬∧bXβ%a⊃⊂αJ`y(¬∧@bPβda! αJ@yλ¬¬@RHβca18αJx`εε R8βbAAXαI@x@επ R ∧!!QxβλAλ⊂εH`Rλ∧∨ab(αGa↔`πI`ah∧≡ααXαFa↔ λK@a@¬≠b3⊂β¬!&H
@a⊂¬X#3H∧βA4P↔∂A⊂@εRE$!Fi"( ∩#∧P∂P
⊃ &¬(¬Xπoa∧("_mfp6REq:εNPπαM`8↓m00⊂↓M⊂0∩↓Lp(∃↓,P(↔↓,@ →↓  ≠↓⊂ ≤↓_≡k` ∨↓P  ⊂E`↓Pλ@_-@h∧0↓V@4$k⊂_ ∩@5@↓P	@_+@h∧p↓U@4(j`⊂ ∀@%(↓P
 _*h¬ ↓T`4+j0⊂ ⊗%⊂↓P_(@h¬P↓T $.J_ ↔5↓⊂`⊂'@h¬p↓S`$0I`_ _4p↓⊂ ⊂'Hε⊂↓∪ 41iP⊂ →$`↓P@_&Hε0↓∪$3I@⊂ →@$X↓P`_%@Hε@↓∩`$4I0⊂ ~$X↓⊂
⊂%hε@↓R@$5I ⊂ ~@$P↓⊂
 ⊂%HεP↓∩@$5I ⊂ ~@$P↓⊂
 ⊂%HεP↓∩@$5I ⊂ ~@$P↓⊂
 ⊂%HεP↓∩@$5I ⊂ ~@$P↓P
_%@Hε@↓∩`$4I0⊂ ~$X↓⊂
⊂%@hε0↓S$3I@⊂ →@$`↓⊂`⊂&hε ↓S $2IP_ _@4p↓⊂ ⊂'Hε⊂↓∪@40ip⊂ _$x↓P`_(H¬p↓∀4.j⊂⊂ ↔%λ↓P _)h¬@↓T`$,J0_ ∃@5 ↓P
@_*@h¬⊂↓U@$)J`_ ∀58↓P	`_,h∧`↓V 4%k _ ∩5X↓Pλ`_.h∧ ↓W D ↓` ∨↓_≡l⊂ ≤↓  ≠↓@ →↓P(↔↓,p(∃↓-⊂0∩↓M00⊂↓M`8↓nPπαNAP<DλT 2%2Vh%⊂λ↓(A	/Pp	CO⊂P⊃BN`@⊗B∞08~An8≥AmP8 ⊂ vXβ⊂λp04A(∧hαY`T(A,P( ∃ V α⊂⊂ 1↓λ¬hα_T/A+p  _`Ep↓Pp_.↓λεHα⊗`D5A _ ≠`5H↓P∞⊂_,hπ_↓U`4:@j`_ ≥`5(↓P∂⊂_*hπX↓U$>@J0_ ∨ 5⊂↓P∂p_(@hλλ↓T $A@J_  `5↓⊂⊂P⊂'@hλ(↓S`$C@I`_ !`4p↓⊂⊃⊂⊂&@hλH↓S $E@I@_ "`4`↓⊂⊃P⊂&Hλh↓∪$F@I0_ # 4X↓⊂⊃p⊂%@Hλx↓∩`$G@I0⊂ #`$P↓P⊃p_%H	λ↓∩@$H@I ⊂ $ $P↓⊂∩⊂⊂%H	λ↓∩@$H@I ⊂ $ $P↓⊂∩⊂⊂%H	λ↓∩@$H@I ⊂ $ $P↓⊂∩⊂⊂%hλx↓R`$G@I0⊂ #`$X↓⊂⊃p⊂%@Hλx↓∩`4F@i@⊂ # $`↓⊂⊃P⊂&Hλh↓∪4E@iP⊂ "`$h↓P⊃⊂_'HλH↓∪@4C@ip⊂ !`$x↓P⊂P_(Hλ(↓∀4A@j⊂⊂  `%λ↓P⊂⊂_)hπx↓T`4>@j@⊂ ∨ % ↓P∂0_*@hπH↓U@4;@jp_ ≥ 5@↓P∞0_,@hπλ↓V@47@k0  ~`E`α⊂
⊂ /hε8↓W`D1A( ↔`V⊂α⊂P 2↓λ¬Hα→ T*A,p( ∀ VHαP	P(5AH∧8β≠ t An8≥An08~An`@⊗B∂⊂P⊃BOPp	CP"(E¬(T 9qxvh%⊂
2λHN1! ∂E⊂@p≠COp` ⊃!GX¬⊂
⊂P;B(¬X∧]↓∧1B∞⊂8 ~`vpβP∞⊂86↓Hπ8β~ d>ALp0   f(αP⊂p(1A(λXαX@DGA  $`EpαP∩P(.Aλ	Hα↔4N@k   '`EHα⊂∀⊂ ,h
(↓U`4S@j`_ * 5(↓P∃0_*h
h↓T`4W@j _ , 5⊂↓⊂⊗0⊂(@h_↓T4Z@j⊂ -`$x↓P⊗p_'@HH↓∪@4\@i`⊂ .`$h↓P↔0_&@Hh↓∪ $↑@I@_ / 4`↓⊂↔p⊂&Hx↓∩`4←@i0⊂ 0 $X↓⊂_⊂⊂%@Hλ↓∩@4`@i ⊂ 0`$P↓⊂_0⊂%H_↓∩@$a@I ⊂ 0`$P↓⊂_0⊂%H_↓∩@$a@I ⊂ 0`$P↓⊂_0⊂%H_↓∩@$a@I ⊂ 0`$P↓⊂_0⊂%hλ↓R`$`@I0⊂ 0 $X↓⊂_⊂⊂%@hx↓S$←@I@⊂ /`$`↓P↔P_&@Hh↓∪ $↑@IP_ .`4p↓⊂↔0⊂'hH↓S`$\@Ip_ -`5↓⊂⊗p⊂(h(↓T 4Y@j ⊂ ,`%⊂↓P⊗⊂_)@h
x↓U4V@jP_ *`50↓P∃⊂_+@h
8↓V4R@k⊂  ( EPα⊂∪p .h	h↓W DLA`( % Vα⊂∩0 1↓λλxα_`TEA,P( !`V8β⊂⊂⊂04AHπhβ≠d;AM`8 ≤ wλβP
08:αλε_∧≥a∀-B/0P ∀!'xε⊂λP`BβFppE¬βq HN3Rλ"QWH<Tgt7↓⊗p0[Avp8?E$08;Iβ@@9βB0hB
`P⊃α"P85α%@@λAlp@→B↓`@2↓g00εα 0 ⊂ `PβXT#↓A@/↓(∧Xβ↓!¬`αP	p0α↓k ( ∃P⊂βV D,β+_ ↔↓50α⊂pH*Aλ¬hεU4-D*0_ ⊗"E⊂↓P
q0(@h¬8∀4+E*⊂ ⊗α∀x↓Pp'h¬P∧S@$.↓)P_&@I@_&I@⊂%@i0⊂%@I0⊂%i ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I _%@I0⊂%@I0_&I@⊂&iP⊂&@i`⊂'ip_(J_(@j _)@j@_ →@5(α⊂ (+↓λ¬xαV4.↓+⊂  ⊗UPαP
@(.↓(¬αW@T%AL( ⊃`f⊂β⊂λ⊂02↓g083Bε0@5α%@@7αD H9βB0h;I∂q("QgH<Tg3(
]dG⊂π∧aVp¬λA⊗P∧K↓ε8∧aε βN`v⊂β⊂λ⊂00↓(∧8β↔@T%AK@( ∀UPαP
@(,Aλ¬@αV4.↓*`  ↔`U(α⊂ (*hε0↓T`5⊂↓T 5↓T$x↓S@4p↓∪ 4h↓∪4`↓∪$X↓R`$X↓∩`$P↓R@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@4X↓∩`$X↓∩`4`↓∪$`↓S $h↓S@$.↓)`_ ⊗A∀x↓Pp(H¬@λT4+E*⊂_ ∃be⊂↓P
q0)@h¬H
∃4-D*P  ↔!U0α⊂pH,h¬`¬V D,β+ ( ∃P⊂βWT'A@@8/↓(∧Xβ↓!εαPλ`0∧α 0 ⊂ `PβYsXββ↓ε8∧ap∧~A∩`∧∧ vp¬λA⊃(β\Aa_εEaπ8∩π↓πx
H`{8βm`{8β.D("→o↔()Neq(9	
Ph	CM H⊃αL`@⊗α,0@→B8≥Ak`0 ⊂ eXβ⊂λp(,AH∧XαU`T(↓*P( ∃U_αP (A(¬`↓S`T/A	P( _@Dh↓P`_[@w_\@w _]@W0_↑wP⊂↑@w`⊂←wp⊂←@Wp_`X⊂`X_`@X⊂⊂`@X⊂⊂`@X⊂⊂`@X⊂⊂`@X⊂⊂`x⊂`X⊂←@wp⊂←@W`_←WP_.↓(¬`↓⊗!∀-jPp ⊗5⊂λP⊂'¬(¬8↓Sαd+@i10 ∃`4P
⊂⊂_%∧(¬X↓RAT.A	0H ↔`DX¬P@_%C(¬@α∪p⊂αP
@(&↓`@0 ∪`T`∧↓ d%A)@@∧↓H∧0αS pPβ⊂λ⊂0&B↓@0≥AiP@παε0@'↓b⊂@⊗α)`8
B$ P'ααph	CI`@∞		p8⊃E)p8'Aj0(AλT 4≡.U_∨A`Eβ∪`txβS`r_
SA↓`∩∪A↓8εDadpβE!∩⊂¬∪@qλ∧↓∀h∧βAβ_∧∪!`β∞`thβB@d AI@@∧↓H∧0αS↓(β⊂	0(&↓`@0 ∪`T`β@@T*↓)0h ⊗DX¬P@_%B(¬xα∩AT.A	!λ ⊗`4P
⊂⊂_%EH¬8↓Sαd+@ia( ∃`5⊂λP⊂*CH¬@↓V!∀-k@( ↔+h↓o@+p↓o`+x↓/`<↓0,↓0<λ↓0 ,λ↓0 ,λ↓0 ,λ↓0 ,λ↓0 ,↓p,↓0+x↓o`+x↓/@;p↓/ ;h↓/;X↓n`+P↓n ;@↓m`4h↓P`_&A(ε⊂α∪`T/A
⊂( ↔5_αP *A(¬ αU`T(↓+⊂0 ∩`UXβ⊂λp(/↓H∧λβ_sXβXaβ_∧→Aα`∧ZA∩⊂¬≠!Q_π≤DGH
Q(EH*∀∂β8	@k 8+β
0x∃@Iq ∃IA8∃i1@∃@I!H∃@i!P∃@I p↓αE0_%α`P⊂Ae@⊂%AA_B¬0_,@@ @⊗K_↓Ae@_,@@8⊗@Jp_αα¬@_+@@P@⊗@Jp⊂β↓eP_+``@⊗@J`⊂βB¬P⊂*@a8⊗@jP⊂∧Ae`⊂*@A⊂8↔j@_¬↓&⊂*A@__@J0_ ⊂5_↓⊂λ ⊂)@H∧⊂↓∀@4!j ⊂ ⊃%⊂↓⊂λ@⊂)H∧ ↓∀ 4"j⊂⊂ ⊃@%λ↓⊂λ`⊂(h∧0↓T$$J⊂ ∩%↓⊂	⊂(H∧@↓∪`4$ip⊂ ∩@$x↓⊂	 ⊂'@H∧P↓∪`$%Ip⊂ ∩@$x↓⊂	 ⊂'h∧P↓S@$&I`⊂ ∪$p↓⊂	@⊂'H∧`↓∪@$&I`⊂ ∪$p↓⊂	@⊂'H∧`↓∪@$&I`⊂ ∪$p↓⊂	@⊂'H∧`↓∪@$&I`⊂ ∪$p↓⊂	@⊂'H∧`↓∪@$&I`⊂ ∪$p↓⊂	@⊂'h∧P↓S`$%Ip⊂ ∩@$x↓⊂	 ⊂'@H∧P↓∪`$%Ip⊂ ∩@$x↓⊂	 ⊂'@h∧@↓T$$J⊂ ∩%↓⊂	⊂(H∧@↓∀4#j⊂⊂ ⊃@%λ↓⊂λ`⊂(@H∧0↓∀ 4"j ⊂ ⊃%⊂↓⊂λ@⊂)H∧ ↓∀@4!j0⊂ ⊂@%_↓⊂λ ⊂)@h∧↓U$ J@⊂ ⊂% ↓O@5(↓∂@%(↓O50↓∂%0↓N@58↓∞@%8↓N5@↓∞%@↓M@5H↓
@%H↓M5P↓L@5X↓L5`↓%`↓K@5h↓K5p↓J@5x↓J6↓I@6λαλ@F⊂αλF απF(αFV8β∧@fH∧αAε`
≤↓D("⊗JE<⊂∧``6¬
⊂@¬αp0	↓LP(↓,@ ∞↓  ⊂↓⊂ ⊃↓_∪kp_∀k`_∃kP_⊗k@_↔k@⊂_K0__k _→k⊂_~k⊂⊂≠K_≠k⊂≤Jp_≤jp⊂≥J`_≥j`⊂≡JP_≡jP⊂∨J@_∨j@⊂ ⊂% ↓⊂λ⊂)@h∧↓T`$!J0⊂ ⊂@%⊂↓Pλ _)H∧ ↓∀@$"J ⊂ ⊃%λ↓Pλ@_(@H∧0↓∀ $#J⊂⊂ ⊃@%↓Pλ`_(H∧@↓∀$$J⊂ ∩%↓⊂	⊂'@h∧@↓S`$%Ip⊂ ∩@$x↓⊂	 ⊂'@H∧P↓∪`$%Ip⊂ ∩@$x↓⊂	 ⊂'h∧P↓S@$&I`⊂ ∪$p↓⊂	@⊂'H∧`↓∪@$&I`⊂ ∪$p↓⊂	@⊂'H∧`↓∪@$&I`⊂ ∪$p↓⊂	@⊂'H∧`↓∪@$&I`⊂ ∪$p↓⊂	@⊂'H∧`↓∪@$&I`⊂ ∪$p↓⊂	@⊂'h∧P↓S`$%Ip⊂ ∩@$x↓⊂	 ⊂'@H∧P↓∪`$%Ip⊂ ∩@$x↓P	_(H∧@↓∀$$J⊂ ∩%↓⊂	⊂(h∧0↓T $#J⊂⊂ ⊃@%λ↓Pλ@_)H∧ ↓∀@$"J ⊂ ⊃%⊂↓Pλ _)@H∧⊂↓∀`$!J0_ ⊂5 ↓β3λ↓∃0PαL%(↓α rp↓U  HβK@%(↓Brh↓U@ 8∧ %0↓AAαh↓∃` 0βK 58↓↓!αh↓∃`0 ∧5@↓↓rh↓⊗0_βK5H↓Aα`↓∩``@↓@!αX↓RA0(↓ r`↓∩A`⊂¬
`4P
`$PJ`4X
`$`J@4x

@%_πJ`%0ε⊗@uh↓Q(G Ylntx ∀c→_∃c"⊃8πb↓BH¬`a3(∧I`Gx¬∂A∩⊂β∨↓∧#Bβ`8<Ah∧xβF`w0βP
P8α∞08 ⊗`q(∧≤t0AB@87↓Hε8β∧!ε`αP
@0πB
 ( ≤ `hβZT:AA083↓(πPαB!ε(α⊂∂`(βB0   @P0βX@DBA @@0↓λλHα@A¬xα⊂⊃@(Ak`_ $↓5`α⊂∩0P-Aλ	⊂ε⊗@4H∧⊂_ #B5@↓P⊃A0+@hλXU@4F¬*P_ #"∃ ↓P⊃`p*Hλx¬∀`4H↓J _(@j⊂⊂(j⊂'@ip⊂'i`⊂&@iP⊂&i@⊂&I@⊂%@i0⊂%@I0⊂%@I _%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%i0⊂%@I0⊂%@I0_&I@⊂&I@_&@IP_'I`_'@Ip_(J_(@J⊂_)j0_*J@_*@j`_+@k_,@h	hV@4M↓0  %@U`α⊂∩0(/h	αW`DF↓,  " V⊂α⊂⊂P(1Aλλ⊂αY D?↓,`( ≡@V@αP∞P05↓(πλβ≠T6A-`0 →`gβP⊂89Ah¬Xβ]@t*Ao⊂8 ∪`w`∧⊂	8?BGp@ABfPPDβ¬⊂`FD"pxIJsQH"Q∞[_Y]it)F22XFD"pxDβ¬⊂`ABfPP?BGp@>αλ∧@β↑ t'An`8 ∃ w_βP088↓hελβ[@d3AM@( ≠ VPαP∞⊂04↓(π(β→@T=↓,P  ∨@V_α⊂⊂ (1↓λλ(αXDDA+p  #Up↓P∩(.↓λ	_αV`DK↓+ _ &@EH↓P∪Pλ,jp_+jP_*j@⊂)@j _(@j⊂⊂(j⊂'@ip⊂'i`⊂&@iP⊂&i@⊂&I@⊂%@i0⊂%@I0⊂%@I _%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%i0⊂%@I0⊂%@I0_&I@⊂&I@_&@IP_'I`_'@Ip_(J_(@J⊂_)j0_ $e ↓⊂⊃pP*hλpπ∃ 4FD*`_ #αU8↓P⊃18,hλ`⊗ 4G∧k _ $α¬Xα⊂∩ `.↓λ	_¬↔@4Hαkp  #PλβXDDA  @1↓λλ(αA↓ε_α⊂⊂ (β↓lP  ∨@P8∧→@T=↓!⊂@4↓(π(βα`vPαP∞⊂0εAm@( ≠`x∧≠@d3AB⊂@8↓hελβ¬w_βP08
B∞`8 ∃ q@∧≡ t'Ac08>αλ∧8∧π@wx¬∂A∩⊂β a3(∧I`H@ε
!8hλEay_∃g#∀("≥V;;Sh∧8b%8_πEb↔pε
!GP¬
!78∧∂a' βP	@8Ah∧xβ[@t*Am08 ⊗`v@βP⊂83↓Hε8β→T6A,⊂0 ≤ Uxβ⊂∞P(.A(πPαV`T?↓⊂(  @E8αP⊂P *A(λHα∀`TF↓
⊂( $4xαP∩0 &A(	0α∪DMiPλ ' >`↓{ >p↓QH
(↓QH
0↓QH
8↓⊃H
8↓QH
@↓QH
H↓QH
P↓⊃H
P↓QH
X↓⊃H
X↓QH
`↓⊃H
`↓QH
h↓⊃H
h↓QH
p↓⊃H
p↓QH
x↓⊃H
x↓⊃H
x↓⊃H
x↓QH↓⊃H↓⊃H↓⊃H↓⊃H↓QHλ↓⊃Hλ↓⊃Hλ↓⊃Hλ↓⊃Hλ↓⊃Hλ↓⊃Hλ↓⊃Hλ↓⊃Hλ↓⊃Hλ↓⊃Hλ↓⊃Hλ↓⊃H↓QH↓⊃H↓⊃H↓⊃H↓⊃H
x↓QH
x↓⊃H
x↓⊃H
x↓⊃H
p↓QH
p↓⊃H
h↓QH
h↓⊃H
`↓QH
`↓⊃H
X↓QH
X↓⊃H
P↓QH
P↓⊃H
H↓QH
@↓V`dHkP #`% π⊂⊃`_(D(λh↓S"TFi18 "`4P⊂⊃@_%∧hλp↓RB∧Hi ` $@DP¬⊂∩0 %Bh	↓R`pλαP⊃@ %B ( " DX∧↓TBA	@8β↓(λ⊂α∪↓8αP∂` &α↓⊂( ≡@ThβB`d:A)P8εAHπλαS!xβ⊂
@(&Bα⊂0 →`dpβEd0Ai`@
Ah¬XβSA↓@βP
P8'Ac08 ∪`txβGA∧#B	p0⊃α'`P(↓∧pH~BopX∀C⊂0xD1∩XHF(T ;lvπ8'PλqHDJp0xD/pX∀C
 ∪B&PX'AD H∨αIp8∂αλ∧8∧∪`qXβP	p8'αβ8 ∃ tp∧¬ t-Ai`8
↓HελβS!↓λβ⊂p0&B↓p0 ≠ThβC d8A)P8¬AHπ(αS↓HαP∂ (&αp( ∨@D`βA@TA↓	0@α↓(λ(α∩a⊂αP⊃⊂ %A`⊂( #DX¬P∩_%αH	_α∩ADI↓	! $4P	P⊃`_%¬Hλ`↓RbtE@iQ( #5λλP⊃P_*βHλp↓V↓$G@K00 $40 *40 * 40 *@$0 *@40 *`$0 *`40 +$0 +40 + $0 + 40 +@$0 +@40 +`$0 +`$0 +`$0 +`40 ,$0 ,$0 ,$0 ,$0 ,40 , $0 , $0 , $0 , $0 , $0 , $0 , $0 , $0 , $0 , $0 , $0 , $0 ,40 ,$0 ,$0 ,$0 ,$0 +`40 +`$0 +`$0 +`$0 +@40 +@$0 + 40 + $0 +40 +$0 *`40 *`$0 *@40 *@$0 * 40 *40 )`40 )`$0 )@40 ) >p↓{ >`↓S ∀N@i@  &@4hαP∩` 'A(	_α∀ THj0( #E(αP⊃⊂ +A(λ(α⊗ TA↓0( ∨@EhαP∂ (/AHπ(αX d8A,@( ≠ V0β⊂p04↓hελβZ`t-Am`8 ∃ wλβP	p8:↓h∧@∧≥aβx¬≡A#(¬←ABHε aq8λb%9λQ(FλλDa `π@J`()A0λ'A `λ&↓↓ λ%aPλ&↓↓ λ'A `λ)A0λ+↓+⊂⊂"Q!λ
αA@↓∩@TP@`DPA@TPB@DPC 4PB@DPA@TP@`DPαR@$("~"@_B`⊂ %↓I @%α) P%β	 h%↓ ⊂H%↓  H%↓ @H%↓ PH%↓ p@%↓ p@%↓ PH%↓ @H%↓  H%↓ ⊂H%β) `%αI H%α	 0%AλT 5¬α⊃8¬C`E@β∃A¬(∧U↓%⊂ε∀!Tx∧@ Tp∧@@T`∧ATX∧A TP∧↓`TP∧↓`TX∧A T`∧ATp∧@@Tx∧@ UλεTAE ¬∃!∃0∧⊗eHα⊃(FX∞Fc↓PA	 8%αI `%βi!λ%↓  h%↓ @h%↓ ph%↓!⊂h%↓!@`%↓!`P%↓!`P%↓!@`%↓! `%↓ ph%↓ P`%↓  h%∧I x%β) P%α	0 &(T 6G#1@
εFβW!%Xε⊗↓u0λTaP⊂αT!P αSAP8αS↓PHαRA@`αRA pαRA pαRA@`αS↓@PαSAP8αT!@(αTaP⊂αU"%@πVAUh¬↔aε⊂α→∀("≠C⊃H	Fβλ/AP0-α+X*CJ1(∧ia(%F	1@'¬*↓_)D
Pp,αk H.AKp 1(T 7F#⊃_∀Pα∩@dP∧RA4Pπ∩B∧P	RBTP∩C∧P
RB4Pλ∩AdP¬RA∀Pβ∩@DPQ(0λ←x␈␈␈␈x␈␈␈⊂&⊂∧PλdC8∧&m#BX∞+αT%E4A⊂ _")hλ⊂∞1(H∧(π⊂⊂0p'Aπ`h $!TxαN↓DNC)`0→Bh
Hε∪@Rx¬P⊗@X'↓% X /A$hβ	A$dαIP(⊃αH
λ¬∪ Qp¬⊂≠ H&A# H 8a∀`β¬A∀uB)@(
αλ∂_∧∪Q∧⊂∨0@%AAP@ @ ⊂@%A! @ @!⊂@%A p@ @!p@%A @8 @"p8%↓@⊂8 @#P8%αh⊂λ⊃Ai H @%8%βλ⊂λ∀↓	!&∧)q)C*`P-↓KPλ"P`⊃←␈x␈␈␈␈x␈} [ 	 ⊃H
~uh¬`eλ&2⊂←F(¬P-BT:¬5a⊂ ""5λP
Aλ 'α∧xα⊂	A +↓txαPλ@x .atpβ∂AddCI`(≤C(
8εS@S ε⊂≤0`'↓%pX ;aDhβ
A4|C	P(∪αh⊂λααiP(⊂Bh⊂λπαI@0∞αh⊂λαI@(BH⊂λ⊂BI@(
B(⊂λ∃BI@(λB(⊂λ→BI00εB(⊂λ≡α)0(¬α(⊂λ"α)0(βα(⊂λ&α) 0↓α(⊂λ*α	 h @+@@%α(⊂λ1B	 ` @,@ %∧	Aλ'D*0h+αK 0.@(T_∧8␈␈␈␈x␈␈␈␈H∪λ␈␈␈}λ⊂	@+ 0+αJ0h'D	Aλ%∧	 ` @% %α(⊂λ∀↓i X @$08%↓@⊂8 @#P8%A @8 @"p8%A p@ @!p@%A! @ @!⊂@%AAP@ @ ⊂@&↓"@ >a∧`αE↓∧yB	@0α(∞X∧S QP∧P≤0H&A#`P 6A∀hαHA$hBIP0∪αH@¬∪@RP¬P↔`P'↓%pX -↓4pβa4TC	p(≤βλ	hεS`CpεP∩⊂h(H∧(π⊂⊂0pNDλπ_λ)α$0DUA( ∩b[(∞
cL ∪:αh"P`∩∨␈x␈␈␈␈x␈} [?␈x␈x B0λ-↓J`P)C)qλ&∧)!%βλ⊂λ2↓	 H @,0@%β(⊂λ.α	 0↓α(⊂λ*α	0(βα(⊂λ&α)0(¬α(⊂λ"α)00εB(⊂λ≡α)@(λB(⊂λ→BI@(
B(⊂λ∃BI@(BH⊂λ⊂BI@0∞αh⊂λαIP(⊂Bh⊂λπαIP(∪αh⊂λααiP0∃αh∂Hε∪@Rx¬P≥p`'↓&@` 8aDpαN!TkC)`0∨βHHπ∪`T"βhXπS`D&∧λ
`πT ∀*∧(	`λ+B$DDva( ≥α[xP!@eλ&2⊂kPNP~Q(0	∨x␈␈␈␈x␈␈␈p∧∨x␈␈␈⊂&↓H↓_`&_↓_@6⊂↓_@&λ↓X &λ↓_6↓_%x↓W`%x↓↔@5p↓↔@%p↓↔ 5h↓↔ %`↓W%`↓↔%X↓V`%X↓⊗@5P↓⊗@%P↓⊗ 5H↓⊗ %H↓⊗5@↓⊗%@↓∃`58↓∃`%8↓∃@50↓∃@%0↓∃@%(↓U %(↓∃ % ↓U% ↓∃% ↓∀`5_↓∀`%_↓∀`%⊂↓T@%⊂↓∀@%⊂↓∀@%λ↓T %λ↓∀ %λ↓∀ %↓T%↓∀%↓∀$x↓S`$x↓∪`$x↓∪`$x↓∪@4p↓∪@$p↓∪@$p↓∪@$p↓∪ 4h↓∪ $h↓∪ $h↓∪ $h↓∪ $`↓S$`↓∪$`↓∪$`↓∪$`↓∪$`↓∩`4X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩@4P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@4X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`4`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓S $h↓∪ $h↓∪ $h↓∪ $h↓∪ 4p↓∪@$p↓∪@$p↓∪@$p↓∪@4x↓∪`$x↓∪`$x↓∪`$x↓T%↓∀%↓∀%↓T %λ↓∀ %λ↓∀ %λ↓T@%⊂↓∀@%⊂↓∀@5_↓∀`%_↓∀`%_↓U% ↓∃% ↓∃5(↓∃ %(↓∃ %(↓U@%0↓∃@%0↓U`%8↓∃`%8↓∃`5@↓⊗%@↓⊗5H↓⊗ %H↓⊗ 5P↓⊗@%P↓⊗@5X↓⊗`%X↓W%`↓↔%`↓W %h↓α 5h↓A`Ep↓↓`Up↓↓@Up↓↓@Up↓A Ux↓↓Ux↓↓Ux↓@`V↓`V↓@V↓@ U⊂↓β  λαT `PβT↓00βT↓` β∀"u_
∃B∃PεW!⊗λαQ(0	/x␈␈␈␈x␈␈␈p∧∨x␈␈␈⊂-AH↓_`&_↓_@6⊂↓_@&⊂↓_ 6λ↓_ &↓X&↓_%x↓W`%x↓↔`%p↓W@%p↓↔@%h↓W %h↓↔ %`↓W%`↓↔%`↓⊗`5X↓⊗`%X↓⊗@5P↓⊗@%P↓⊗@%H↓V %H↓⊗ %@↓V%@↓⊗%@↓∃`58↓∃`%8↓∃`%0↓U@%0↓∃@%0↓∃@%(↓U %(↓∃ %(↓∃5 ↓∃% ↓∃% ↓∀`5_↓∀`%_↓∀`%_↓∀@5⊂↓∀@%⊂↓∀@%⊂↓∀@%λ↓T %λ↓∀ %λ↓∀ %λ↓∀5↓∀%↓∀%↓∀$x↓S`$x↓∪`$x↓∪`$x↓∪`$p↓S@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$h↓S $h↓∪ $h↓∪ $h↓∪ $h↓∪ $`↓S$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∩`4X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩@4P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@4X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓S$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪4h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓S@$p↓∪@$p↓∪@$p↓∪@$p↓∪@4x↓∪`$x↓∪`$x↓∪`$x↓∪`5↓∀%↓∀%↓∀%↓∀5λ↓∀ %λ↓∀ %λ↓∀ %λ↓T@%⊂↓∀@%⊂↓∀@%⊂↓∀@5_↓∀`%_↓∀`%_↓∀`5 ↓∃% ↓∃% ↓∃5(↓∃ %(↓∃ %(↓U@%0↓∃@%0↓∃@58↓∃`%8↓∃`%8↓V%@↓⊗%@↓⊗5H↓⊗ %H↓⊗ %H↓V@%P↓⊗@%P↓⊗@5X↓⊗`%X↓⊗`5`↓↔%`↓↔5h↓↔ %h↓↔ 5p↓↔@%p↓↓`Ep↓A@Ex↓↓@Ux↓↓ Ux↓↓ Ux↓AV↓`V↓`V↓`V↓@@Vλ↓ Vλ↓ U⊂↓β  λαT pHβT↓08β∀!`_β∀"u_
∃b¬PεWAελαQ(0	?x␈␈␈␈x␈␈␈p∧∨x␈␈␈ &⊃8αW!∃PεUB∃_
∀"uπ↓e¬A@uλβα@u⊂↓β  λαX0λαX ⊂αX _αW`0_αW`  αW`  αW@0(αW@ 0αW@ 0αW@ 8αW 08α↔  H↓W %`↓W%`↓↔%X↓V`%X↓⊗@5P↓⊗@%P↓⊗ 5H↓⊗ %H↓⊗5@↓⊗%@↓∃`58↓∃`%8↓∃`%0↓U@%0↓∃@%(↓U %(↓∃ %(↓∃5 ↓∃% ↓∃%_↓T`%_↓∀`%_↓∀@5⊂↓∀@%⊂↓∀@%λ↓T %λ↓∀ %λ↓∀ %↓T%↓∀%↓∀$x↓S`$x↓∪`$x↓∪`$x↓∪@4p↓∪@$p↓∪@$p↓∪@$p↓∪ 4h↓∪ $h↓∪ $h↓∪ $h↓∪ $`↓S$`↓∪$`↓∪$`↓∪$`↓∪$`↓∩`4X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩@4P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@4X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`4`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓S $h↓∪ $h↓∪ $h↓∪ $h↓∪ 4p↓∪@$p↓∪@$p↓∪@$p↓∪@4x↓∪`$x↓∪`$x↓∪`$x↓T%↓∀%↓∀%↓T %λ↓∀ %λ↓∀ %λ↓T@%⊂↓∀@%⊂↓∀@%⊂↓T`%_↓∀`%_↓∀`5 ↓∃% ↓∃% ↓U %(↓∃ %(↓U@%0↓∃@%0↓∃@58↓∃`%8↓∃`5@↓⊗%@↓⊗5H↓⊗ %H↓⊗ 5P↓⊗@%P↓⊗@5X↓⊗`%X↓W%`↓↔%`↓W %h↓↔ 5p↓↔@%p↓↔@5x↓↔`%x↓X&↓_6λ↓_ &λ↓X@&⊂↓_@6_↓_`&_↓⊃(0	Ox␈␈␈␈x␈␈␈p∧∨x␈␈␈ -Q8αWA¬PεUb¬_
∀"uλπ`e¬A`eλβB u⊂↓β  λαX  λαX  λαX0⊂αX _αX _αX _αW`0 αW` (αW` (αW` 0αW@00α↔@ 8α↔@%p↓↔ 5h↓↔ %h↓↔5`↓↔%`↓⊗`5X↓⊗`%X↓⊗@5P↓⊗@%P↓⊗@%H↓V %H↓⊗ %H↓⊗5@↓⊗%@↓⊗%8↓U`%8↓∃`%8↓∃@50↓∃@%0↓∃@%(↓U %(↓∃ %(↓∃5 ↓∃% ↓∃% ↓∀`5_↓∀`%_↓∀`%_↓∀@5⊂↓∀@%⊂↓∀@%⊂↓∀@%λ↓T %λ↓∀ %λ↓∀ %λ↓∀5↓∀%↓∀%↓∀%↓∪`4x↓∪`$x↓∪`$x↓∪`$x↓∪@4p↓∪@$p↓∪@$p↓∪@$p↓∪@$h↓S $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓∪4`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$X↓R`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩@4P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@4X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`4`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓∪$`↓S $h↓∪ $h↓∪ $h↓∪ $h↓∪ $h↓S@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓S`$x↓∪`$x↓∪`$x↓∪`$x↓T%↓∀%↓∀%↓∀5λ↓∀ %λ↓∀ %λ↓∀ %λ↓T@%⊂↓∀@%⊂↓∀@%⊂↓∀@5_↓∀`%_↓∀`%_↓∀`5 ↓∃% ↓∃% ↓∃5(↓∃ %(↓∃ %(↓U@%0↓∃@%0↓∃@%0↓U`%8↓∃`%8↓∃`5@↓⊗%@↓⊗%@↓V %H↓⊗ %H↓V@%P↓⊗@%P↓⊗@5X↓⊗`%X↓⊗`5`↓↔%`↓↔%`↓W %h↓↔ %h↓W@%p↓↔@%p↓W`%x↓↔`%x↓X&↓_&↓X &λ↓_ 6⊂↓_@&⊂↓_@6_↓_`&_↓⊃(0	←x␈␈␈p↓@¬ox␈␈␈⊂&8↓∀ %λ↓∀ 5⊂↓∀@%⊂↓T`%_↓∀`5 ↓∃% ↓U %(↓∃ 50↓∃@%0↓∃@58↓∃`%8↓V%@↓⊗%@↓V %H↓⊗ 5P↓⊗@%P↓⊗@5X↓⊗`%X↓⊗`5`↓↔%`↓↔5h↓↔ %h↓↔ 5p↓↔@%p↓↔@%p↓W`%x↓↔`%x↓X&↓_&↓_6λ↓_ &λ↓_ &λ↓X@&⊂↓_@&⊂↓_@&⊂↓X`&_↓_`&_↓_`&_↓Y& ↓→& ↓→& ↓Y &(↓→ &(↓→ &(↓→ 60↓→@&0↓→@&0↓→@&0↓→@68↓→`&8↓→`&8↓→`&8↓→`&8↓Z&@↓~&@↓~&@↓~&@↓~&@↓~6H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ 6P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~ 6H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~6@↓~&@↓~&@↓~&@↓~&@↓~&8↓Y`&8↓→`&8↓→`&8↓→`&8↓→@60↓→@&0↓→@&0↓→@&0↓→ 6(↓→ &(↓→ &(↓→ & ↓Y& ↓→& ↓→&_↓X`&_↓_`&_↓_`&⊂↓X@&⊂↓_@&⊂↓_ 6λ↓_ &λ↓_ &↓X&↓_&↓↔`5x↓↔`%x↓↔`%p↓W@%p↓↔@%h↓W %h↓↔ %h↓↔5`↓↔%`↓⊗`5X↓⊗`%X↓⊗@5P↓⊗@%P↓⊗ 5H↓⊗ %@↓V%@↓⊗%8↓U`$X↓B $Xα↓`4PαA`$XαA@$XαA@$XαA 4`αA$`αA$`α@`4`α@`$hα@@$hα@ 4hα@  h↓∪@pPβ∪@p0¬S@` π∪Btx
∪b∀xεT↓∃αQ(0	ox␈␈␈p↓@¬ox␈␈␈⊂-@8↓∀ %λ↓∀ 5⊂↓∀@%⊂↓∀@5_↓∀`%_↓U% ↓∃% ↓U %(↓∃ %(↓U@%0↓∃@%0↓U`%8↓∃`%8↓V%@↓⊗%@↓⊗5H↓⊗ %H↓⊗ 5P↓⊗@%P↓⊗@%P↓V`%X↓⊗`%X↓W%`↓↔%`↓↔5h↓↔ %h↓↔ %h↓W@%p↓↔@%p↓↔@%p↓W`%x↓↔`%x↓↔`6↓_&↓_&↓_6λ↓_ &λ↓_ &λ↓_ 6⊂↓_@&⊂↓_@&⊂↓_@&⊂↓X`&_↓_`&_↓_`&_↓_`6 ↓→& ↓→& ↓→& ↓Y &(↓→ &(↓→ &(↓→ &(↓Y@&0↓→@&0↓→@&0↓→@&0↓→@&0↓Y`&8↓→`&8↓→`&8↓→`&8↓→`&8↓Z&@↓~&@↓~&@↓~&@↓~&@↓~&@↓~6H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ 6P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~ 6H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &@↓Z&@↓~&@↓~&@↓~&@↓~&@↓~&@↓→`68↓→`&8↓→`&8↓→`&8↓→`&8↓→`&0↓Y@&0↓→@&0↓→@&0↓→@&0↓→ 6(↓→ &(↓→ &(↓→ &(↓→6 ↓→& ↓→& ↓→& ↓_`6_↓_`&_↓_`&_↓_`&⊂↓X@&⊂↓_@&⊂↓_@&⊂↓_ 6λ↓_ &λ↓_ &λ↓_6↓_&↓_&↓↔`5x↓↔`%x↓↔`%p↓W@%p↓↔@%p↓↔ 5h↓↔ %h↓↔ %`↓W%`↓↔%`↓⊗`5X↓⊗`%X↓⊗`%P↓V@%P↓⊗@%P↓⊗ 5H↓⊗ %H↓⊗5@↓⊗%@↓∃`58↓∃`%8↓∃@50↓∃@$Xα↓`$Xα↓@4PαA@$XαA $XαA $XαA4`α@`$`α@`$`α@`$`α@@4hα@ $hα@ $hα@  h↓∪@pHβS@`8¬S@`_π∪Btx
∪b∧xεT↓¬αQ(0	␈x␈␈␈p↓@¬ox␈␈␈ &⊂0αT↓∀xεSb∀x
∪Btpβ↓↓dpβAA4pβB@dhα@  h↓∪ Pλ↓S P⊂↓∪P_↓∪P_↓SP ↓∪P ↓∩`P(↓R`P0↓∩`P0↓∩@P8↓∩`@8↓R`0H↓∃`%8↓V%@↓⊗%@↓V %H↓⊗ 5P↓⊗@%P↓⊗@5X↓⊗`%X↓⊗`5`↓↔%`↓↔5h↓↔ %h↓↔ %h↓W@%p↓↔@%p↓W`%x↓↔`%x↓↔`6↓_&↓_&↓X &λ↓_ &λ↓_ 6⊂↓_@&⊂↓_@&⊂↓X`&_↓_`&_↓_`&_↓Y& ↓→& ↓→& ↓Y &(↓→ &(↓→ &(↓→ 60↓→@&0↓→@&0↓→@&0↓→@68↓→`&8↓→`&8↓→`&8↓→`&8↓Z&@↓~&@↓~&@↓~&@↓~&@↓~6H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ 6P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~ 6H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~6@↓~&@↓~&@↓~&@↓~&@↓~&8↓Y`&8↓→`&8↓→`&8↓→`&8↓→@60↓→@&0↓→@&0↓→@&0↓→ 6(↓→ &(↓→ &(↓→ & ↓Y& ↓→& ↓→&_↓X`&_↓_`&_↓_`&⊂↓X@&⊂↓_@&⊂↓_@&λ↓X &λ↓_ &λ↓_6↓_&↓_%x↓W`%x↓↔`%p↓W@%p↓↔@%p↓↔ 5h↓↔ %h↓↔5`↓↔%`↓⊗`5X↓⊗`%X↓⊗@5P↓⊗@%P↓⊗ 5H↓⊗ %@↓V%@↓⊗%8↓U`%8↓∃@50↓∃@%0↓∃ 5(↓∃ % ↓U% ↓∀`5_↓∀`%⊂↓T@%⊂↓∀ 5λ↓∀ %λ↓⊃(0
∂x␈␈␈p↓@¬ox␈␈␈ -P0αT↓∧xεSb∧x
∪Btpβadpβ↓a4pβB thα@  h↓∪ Pλ↓∪ Pλ↓∪P⊂↓SP_↓∪P_↓∪P_↓∩`P ↓R`P(↓∩`P(↓∩@P0↓∩`@0↓R`@8↓∃@%0↓∃@58↓∃`%8↓∃`5@↓⊗%@↓⊗5H↓⊗ %H↓⊗ 5P↓⊗@%P↓⊗@%P↓V`%X↓⊗`%X↓⊗`5`↓↔%`↓↔%`↓W %h↓↔ %h↓↔ 5p↓↔@%p↓↔@%p↓W`%x↓↔`%x↓↔`6↓_&↓_&↓_6λ↓_ &λ↓_ &λ↓_ 6⊂↓_@&⊂↓_@&⊂↓_@&⊂↓X`&_↓_`&_↓_`&_↓_`6 ↓→& ↓→& ↓→& ↓→6(↓→ &(↓→ &(↓→ &(↓→ 60↓→@&0↓→@&0↓→@&0↓→@&0↓Y`&8↓→`&8↓→`&8↓→`&8↓→`&8↓→`6@↓~&@↓~&@↓~&@↓~&@↓~&@↓~&@↓Z &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ 6P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~@&P↓~ 6H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~ &H↓~6@↓~&@↓~&@↓~&@↓~&@↓~&@↓~&8↓Y`&8↓→`&8↓→`&8↓→`&8↓→`&0↓Y@&0↓→@&0↓→@&0↓→@&0↓→@&(↓Y &(↓→ &(↓→ &(↓→ & ↓Y& ↓→& ↓→& ↓_`6_↓_`&_↓_`&_↓_`&⊂↓X@&⊂↓_@&⊂↓_@&⊂↓_ 6λ↓_ &λ↓_ &λ↓_6↓_&↓_&↓↔`5x↓↔`%x↓↔`%p↓W@%p↓↔@%p↓↔@%h↓W %h↓↔ %h↓↔5`↓↔%`↓↔%X↓V`%X↓⊗`%P↓V@%P↓⊗@%P↓⊗ 5H↓⊗ %H↓⊗5@↓⊗%@↓⊗%8↓U`%8↓∃`%0↓U@%0↓∃@%(↓U %(↓∃ % ↓U% ↓∃%_↓T`%_↓∀@5⊂↓∀@%⊂↓∀ 5λ↓∀ %λ↓⊃(GFd⊃x@i (%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓)!@%ε)!H%ε)!@%↓) (%↓) (%↓) (%↓) (%↓) (%↓) (%↓)0_"Q∞⊃H
H#pλ↓R@TPαR@TPαR@TPαR@TPαR@TP∩C∀PRC∀P∩@TPαR@TPαR@TP∩C∀PRC∀P∩@TPαR@TPαR@TPαR@TPαR`4("≤C⊃X⊂G`⊂_%↓) (%↓) (%↓) (%ε	!H%ε)!H%ε	 (%↓) (%ε	!H%ε)!H%ε	 (%↓)!@%ε)!H%ε)!@%↓) (%↓) (%↓) (%@hT <¬"$0↔DE@βUa¬(¬∃↓%⊂¬T!$x¬SA$`¬Ra$P¬∩A∧PβR@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβRA∧P¬∩a$`¬SA$x¬T!%⊂¬U↓%(¬∃a¬@βV@D("≡"Q8#`⊂ %↓i @%αI0P&αi`P'Bj⊂P)αj@P*BJp@,↓k⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0,↓jp@*BJ@P)αj⊂P'Bi`P&αi0P%αI @%↓i0 "Qεα@⊗Id λ∪RE∧P∀∩@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓R@2⊂↓RE∧P∀∩E∧("%αh∪HB0⊂.↓00-α⊂ ↓↓ α↓
p β↓
` ∧↓
P ¬↓
@ ε↓
0 π↓
  λ↓
⊂ 	↓
 
↓	p ↓	` ↓	P 
↓	@ ∞↓	0 ∂↓	  ⊂↓	  ⊂↓	0 ∂↓	@ ∞↓	P 
↓	` ↓	p ↓
 
↓
⊂ 	↓
  λ↓
0 π↓
@ ε↓
P ¬↓
` ∧↓
p β↓ α↓⊂ ↓↓ @-AK@ .@HT →
¬R8⊃∧↓¬0λ∃αE_βBuλαDUαD@Txα¬@DpαεDp↓F@4h↓G4`απD`↓G@4X↓H4X↓H4X↓H4X↓H4P↓H@4P↓H@4P↓H@4P↓H@4P↓H@4P↓H@4P↓H@4P↓H@4X↓H4X↓H4X↓H4X↓H4`↓G@4`απDh↓G4p↓F@4pαεDxα¬@EαD@UλαDU_βBu 
∃B¬P∧⊃(C_∀$r⊂λα
a*¬
08∧↓j⊂(λ↓*(	↓)p ↓	` ↓	`_↓¬`⊂_&@`!@↓i@ ↓ε  &`0_	`0_%@`@_	`@_%@`@_	`@_%@`@_	`@_%@`@_	`@_%`P_	`P_%`P_	`P_%`P_	`P_%`P_	`P_%`P_	`P_%`P_	`P_%`P_	`P_%`P_	`P_%@`@_	`@_%@`@_	`@_%@`@_	`@_%@`@_	`@_&`0_	`0_&↓!@↓↓	P_↓ε _'`!8@i` ↓	p ↓
(	↓*⊂(λ↓*08∧↓jA +∧ @"QεB@⊗Id!∧∃B¬ 
∀`p_↓`uλαA@@0αTP0β↓@Txα↓a8α∪@@8α@@8α∪@08α↓@8↓S 08α↓@@8↓S@0αα@0α∪00αα@@0↓R`00αβ@0↓R`0(αβ@@(↓R`0 α∧@ ↓R`0_α∧@@_↓R@0_α¬@_↓R@0⊂α¬@@⊂↓R@0λαε@λ↓R@qPβR@qPβR@0λαε@λ↓R@0⊂α¬@@⊂↓R@0_α¬@_↓R`0_α∧@@_↓R`0 α∧@ ↓R`0(αβ@@(↓R`00αβ@0↓S00αα@@0↓S@0αα@0α∪ 08α↓@@8↓S@08α↓@8↓S@@8α@@8α∪`@8∧↓`EαA@`0αT P0α↓@U_β@` _βUαE0λ⊗A∧("λβap_I`λ%I _%↓	 (%↓i ⊂A) ⊂↓A	 ⊂α↓	 ⊂αA	 ⊂β↓) ⊂βA) ⊂∧A	 ⊂¬↓	 ⊂¬A	 ⊂ε↓) ⊂εA) ⊂πA	 ⊂λ↓	 ⊂λA	 ⊂	↓) ⊂
↓	 ⊂
A	 ⊂↓	 ⊂A	 ⊂i ⊂↓	 ⊂
A	 ⊂
↓	 ⊂	A	 ⊂	i ⊂λ↓	 ⊂πA	 ⊂π↓	 ⊂εA	 ⊂εi ⊂¬↓	 ⊂∧A	 ⊂∧↓	 ⊂βA	 ⊂αA	 ⊂α↓	 ⊂↓A	 ⊂↓↓	 ⊂A	 (%↓	 _%I λ"Q∧⊃p∂$qhY@&(↓YF_αX vα@ %xα`%pα↓%hα↓ %XαA@%PαA`%Hαα %@αα@%8αα`%(αC% αC %_αβ`%⊂α∧%λα∧ $xαD@$pα¬$hα¬ $`α¬@$Xα¬`$X↓F$`α¬@$hα¬ $pα¬$xα∧`%λ↓D@%⊂α∧%_αβ`% αβ@%(αβ %8↓C%@αα@%Hαα %Pαα%Xα↓`%hα↓ %pα↓%xα`&α@&λα &_αYF(↓Y@&8Q(B⊂
Ff∩8↓i X%@@8%A(%A  %A@ %AP %Ap_%B_%B⊂_%B _%B0⊂%B0_%B@⊂%B@_%BP⊂%BP_%B`⊂%B`⊂%B`_%Bp⊂%Bp⊂%Bp⊂%Bp⊂%Bp⊂%Bp⊂%Bp⊂%Bp⊂%Bp⊂%Bp⊂%B`_%B`⊂%B`⊂%BP_%BP⊂%B@_%B@⊂%B0_%B0⊂%B _%B⊂_%B_%Ap_%AP %A@ %A  %A(%@@8%αi 8"Q∧1X
L$q βVA5@βA%0αB%(αα@%_αβ%⊂αβ %λ↓C`%↓D$x↓D $p↓D@$p↓∧`$h↓D`$h↓¬$`↓E$`↓¬ $X↓E $X↓¬@$X↓¬@$P↓E@$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓E@$X↓¬@$X↓¬@$X↓E $`↓¬ $`↓E$h↓¬$h↓D`$p↓∧`$p↓D@$x↓D %↓D%λ↓C`%⊂αβ %_αβ%(αα@%0αB%@βA%P¬W@t("	βap_I`@%α	 ⊂↓A	 ⊂↓A) ⊂↓@@⊂_%@0⊂↓i ⊂↓@@0_%@0⊂αi ⊂↓@@@ %@0⊂αA	 ⊂↓@@` %@0⊂βA	 ⊂↓@A_%@0⊂∧@i ⊂↓@A _%@0⊂¬@i ⊂↓@A@_%@0⊂ε@i ⊂↓@A`_%@0⊂π@i ⊂↓@Ap %@0⊂λ↓	 ⊂↓@B⊂ %@0⊂	↓	 ⊂↓@B0_%@0⊂	A	 ⊂↓@B  %@0⊂λA	 ⊂↓@B %@0⊂λi ⊂↓@Ap_%@0⊂πi ⊂↓@AP_%@0⊂εi ⊂↓@A0_%@0⊂¬i ⊂↓@A⊂ %@0⊂∧↓	 ⊂↓@@p %@0⊂β↓	 ⊂↓@@P %@0⊂α@i ⊂↓@@@_%@0⊂↓@i ⊂↓@@ _%@0⊂@i ⊂↓A) ⊂↓A	 H%αλT ∩GCcλ∪EAε∧↔`@_↓↔@P_↓↔ 0λ↓`%`↓@@ _↓⊗`0_↓`%P↓A _↓⊗ @ ↓`%@α↓  _↓∃`@0↓`%0α↓` _↓∃@0@↓`%(↓B  _↓∃0P↓`%_↓B` _↓∀@0`↓`%λ↓C  _↓∀0p↓`$x↓C` _↓∪@@x↓`$hα∧ _↓∪Aλ↓`$Xα∧@ _↓∩`1_↓`$Pα∧` _↓∩`A⊂↓`$`α∧  _↓∪ A↓`$p↓D _↓∪`0x↓`%↓C@ _↓∀ 0h↓`%⊂↓C _↓∀`0X↓`% ↓B@ _↓∃@H↓`%(αα _↓∃@@8↓`%8α↓@ _↓⊗@(↓`%H↓A  _↓⊗@0 ↓`%X↓@` _↓↔0⊂↓`%h↓@  _↓↔@P_↓↔`@_↓↔a⊗∧⊃(B0
Ff∩8α) `%@0⊂AI ⊂↓@@@ %@0⊂β↓	 ⊂↓@@p %@0⊂∧@i ⊂↓@A _%@0⊂¬@i ⊂↓@A@_%@0⊂ε@I ⊂↓@AP_%@0⊂πi ⊂↓@Ap⊂%@0⊂π@i ⊂↓@B⊂%@0⊂λi ⊂↓@B⊂⊂%@0⊂λ@I ⊂↓@B⊂⊂%@0⊂λ@i ⊂↓@B ⊂%@0⊂	I ⊂↓@B ⊂%@0⊂	I ⊂↓@B ⊂%@0⊂	I ⊂↓@B ⊂%@0⊂	I ⊂↓@B⊂_%@0⊂λ@I ⊂↓@B⊂⊂%@0⊂λi ⊂↓@B_%@0⊂λI ⊂↓@Ap_%@0⊂π@I ⊂↓@A`_%@0⊂ε@i ⊂↓@AP⊂%@0⊂εi ⊂↓@A0_%@0⊂¬i ⊂↓@A⊂_%@0⊂βA	 ⊂↓@@` %@0⊂α↓	 ⊂↓@@⊂0%β	 H"Q∧qX
L$q⊂∧V!E8β  _↓∃@@ ↓`% α↓@ _↓∀`@8↓`%⊂↓B  _↓∀ 0P↓`%↓B` _↓∪`0`↓`$x↓β  _↓∪@0h↓`$h↓C@ _↓∪  x↓`$`↓C` _↓∪!↓`$X↓D _↓∩`!λ↓`$X↓∧  _↓∩`!λ↓`$P↓D  _↓∩@!⊂↓`$P↓∧@ _↓∩@!⊂↓`$P↓∧@ _↓∩@!⊂↓`$P↓∧@ _↓∩@!⊂↓`$P↓∧@ _↓∩@1λ↓`$X↓∧  _↓∩`!λ↓`$X↓D _↓∪!↓`$`↓∧ _↓∪0x↓`$h↓β` _↓∪ 0p↓`$p↓C  _↓∪` h↓`$x↓C _↓∀0X↓`%λ↓B@ _↓∀@0H↓`%_α↓` _↓∃@0↓`%0α↓ _↓∃``λ↓`%Hε↔↓∀("
¬bp_I`↓H%εI ⊂
A	 ⊂
A) ⊂
AI ⊂
@@⊂_%BP⊂↓i ⊂
@@0_%BP⊂αi ⊂
@@P_%BP⊂αA	 ⊂
@@` %BP⊂β@i ⊂
@A_%BP⊂∧@i ⊂
@A _%BP⊂¬@i ⊂
@A0 %BP⊂εi ⊂
@AP_%BP⊂πi ⊂
@Ap_%BP⊂λi ⊂
@B %BP⊂λA	 ⊂
@B⊂ %BP⊂λ@i ⊂
@B_%BP⊂π@i ⊂
@A`_%BP⊂ε@i ⊂
@A@ %BP⊂¬A	 ⊂
@A0_%BP⊂¬i ⊂
@A⊂_%BP⊂∧i ⊂
@@p %BP⊂β↓	 ⊂
@@`_%BP⊂α@i ⊂
@@@_%BP⊂↓@i ⊂
@@ _%BP⊂A	 ⊂
AI ⊂
A) ⊂
A	!P%ε(T ∀KEcλ∪E#∃p
↔ A(↓↔Q(↓⊗`a(↓⊗`0λ↓¬ %P↓@@!(↓⊗ 0_↓¬ %@↓A!(↓∃`0(↓¬ %0α↓ !(↓∃ @0↓¬ %(↓A`!(↓∃0@↓¬ %_↓B !(↓∀@0P↓¬ %λ↓B`!(↓∀@X↓¬ %↓C!(↓∪`0h↓¬ $p↓C@!(↓∪ 0x↓¬ $`↓D!(↓∩`A↓¬ $Pα∧ !(↓∩@Aλ↓¬ $X↓D !(↓∪1↓¬ $h↓C`!(↓∪@0p↓¬ $x↓C !(↓∪`@`↓¬ %αα`!(↓∀ 0X↓¬ %⊂↓B@!(↓∀`0H↓¬ % ↓B!(↓∃@8↓¬ %(α↓@!(↓∃@00↓¬ %8↓A !(↓⊗0 ↓¬ %H↓@`!(↓⊗@0⊂↓¬ %Pα !(↓⊗`a(↓↔Q(↓↔ A(↓↔C%xQ(BP⊗ε∩8εi!h%BP⊂A) ⊂
@@0 %BP⊂αA	 ⊂
@@` %BP⊂∧i ⊂
@A⊂_%BP⊂¬i ⊂
@A0_%BP⊂εI ⊂
@A@_%BP⊂ε@i ⊂
@A`⊂%BP⊂πi ⊂
@Ap⊂%BP⊂π@i ⊂
@B⊂%BP⊂λI ⊂
@B⊂%BP⊂λi ⊂
@B⊂⊂%BP⊂λ@I ⊂
@B⊂⊂%BP⊂λ@I ⊂
@B⊂⊂%BP⊂λ@I ⊂
@B⊂⊂%BP⊂λ@I ⊂
@B_%BP⊂λI ⊂
@B⊂%BP⊂π@i ⊂
@Ap_%BP⊂π@I ⊂
@A`_%BP⊂πI ⊂
@AP_%BP⊂εi ⊂
@A@⊂%BP⊂¬@i ⊂
@A _%BP⊂∧@i ⊂
@A_%BP⊂β↓	 ⊂
@@P %BP⊂↓A	 ⊂
@@⊂(%π)!X"Q¬2`⊗$qλ
V#U8α@ !(↓∃@@_↓¬ % α↓ !(↓∀`@0↓¬ %⊂↓B!(↓∀ 0H↓¬ %↓B@!(↓∪`0X↓¬ $x↓β!(↓∪@0`↓¬ $h↓C !(↓∪  p↓¬ $`↓C@!(↓∪ x↓¬ $X↓C`!(↓∩`!↓¬ $X↓∧!(↓∩`!↓¬ $P↓D!(↓∩@!λ↓¬ $P↓∧ !(↓∩@!λ↓¬ $P↓∧ !(↓∩@!λ↓¬ $P↓∧ !(↓∩@!λ↓¬ $P↓∧ !(↓∩@1↓¬ $X↓∧!(↓∩`!↓¬ $X↓C`!(↓∪ x↓¬ $`↓β`!(↓∪0p↓¬ $h↓β@!(↓∪ 0h↓¬ $p↓C!(↓∪` `↓¬ $x↓B`!(↓∀0P↓¬ %λ↓B !(↓∀@0@↓¬ %_α↓@!(↓∃@(↓¬ %0α`!(↓∃`Pλ↓¬ %H∞Vc4("¬bp_I`↓H%εI ⊂↓@B %@0⊂λ↓) ⊂↓@B0%@0⊂λ@⊂_%@0⊂λ@ _%@0⊂λ@0_%@0⊂λ@@_%@0⊂λ@P_%@0⊂λ@P %@0⊂λ@` %@0⊂λ@p_%@0⊂λA_%@0⊂λA⊂_%@0⊂λA _%@0⊂λA0_%@0⊂λA0 %@0⊂λA@_%@0⊂λAP_%@0⊂λA`_%@0⊂λAp_%@0⊂λB_%@0⊂λB %@0⊂λB⊂ %@0⊂λB⊂ %@0⊂λB⊂_%@0⊂λB_%@0⊂λAp_%@0⊂λA`_%@0⊂λAP_%@0⊂λA@ %@0⊂λA0 %@0⊂λA0_%@0⊂λA _%@0⊂λA⊂_%@0⊂λA_%@0⊂λ@p %@0⊂λ@` %@0⊂λ@`_%@0⊂λ@P_%@0⊂λ@@_%@0⊂λ@0_%@0⊂λ@ _%@0⊂λ@⊂ %@0⊂λ↓I ⊂↓@B(%@0⊂λ↓	!P%ε(T ⊗KEcλ∪E#∃p
↔ A↓`%`αD _↓⊗`a↓`%X↓@ !↓`%P↓@@!↓`%H↓@`!↓`%@↓A!↓`%8↓A !↓`%0α↓ !↓`%(α↓@!↓`%(↓A`!↓`% ↓B!↓`%_↓B !↓`%⊂↓B@!↓`%λ↓B`!↓`%αα`!↓`%↓C!↓`$x↓C !↓`$p↓C@!↓`$h↓C`!↓`$`↓D!↓`$Xα∧!↓`$Pα∧ !↓`$Pα∧ !↓`$X↓D !↓`$`↓D!↓`$h↓C`!↓`$p↓C@!↓`$x↓C !↓`$xαβ!↓`%αα`!↓`%λ↓B`!↓`%⊂↓B@!↓`%_↓B !↓`% ↓B!↓`% α↓`!↓`%(α↓@!↓`%0↓A@!↓`%8↓A !↓`%@↓A!↓`%H↓@`!↓`%P↓@@!↓`%Pα !↓`%Xβ∧ _↓↔Q↓`%hα∧ _↓↔C%xQ(Bp⊗ε∩8εi!h%@0⊂λ@⊂(%@0⊂λ@0 %@0⊂λ@P %@0⊂λ@` %@0⊂λA_%@0⊂λA⊂_%@0⊂λA _%@0⊂λA0_%@0⊂λA@⊂%@0⊂λA@_%@0⊂λAP_%@0⊂λA`⊂%@0⊂λA`_%@0⊂λAp⊂%@0⊂λAp_%@0⊂λB⊂%@0⊂λB⊂%@0⊂λB⊂%@0⊂λB_%@0⊂λB⊂⊂%@0⊂λB⊂⊂%@0⊂λB⊂⊂%@0⊂λB⊂⊂%@0⊂λB⊂⊂%@0⊂λB⊂⊂%@0⊂λB⊂⊂%@0⊂λB⊂⊂%@0⊂λB_%@0⊂λB⊂%@0⊂λB⊂%@0⊂λAp_%@0⊂λAp_%@0⊂λAp⊂%@0⊂λA`_%@0⊂λA`⊂%@0⊂λAP_%@0⊂λA@_%@0⊂λA@⊂%@0⊂λA0_%@0⊂λA _%@0⊂λA⊂_%@0⊂λA_%@0⊂λ@` %@0⊂λ@P %@0⊂λ@0 %@0⊂λ@⊂(%π)!X"Q¬r`⊗$qλ
V#U8α@ !↓`%0α`!↓`% α↓ !↓`%_α↓@!↓`%⊂↓B!↓`%λ↓B !↓`%↓B@!↓`$x↓B`!↓`$x↓β!↓`$p↓C!↓`$h↓C !↓`$h↓β@!↓`$`↓C@!↓`$`↓β`!↓`$X↓C`!↓`$X↓∧!↓`$X↓∧!↓`$X↓∧!↓`$P↓D!↓`$P↓∧ !↓`$P↓∧ !↓`$P↓∧ !↓`$P↓∧ !↓`$P↓∧ !↓`$P↓∧ !↓`$P↓∧ !↓`$P↓∧ !↓`$P↓D!↓`$X↓∧!↓`$X↓∧!↓`$X↓C`!↓`$`↓β`!↓`$`↓β`!↓`$`↓C@!↓`$h↓β@!↓`$h↓C !↓`$p↓C!↓`$x↓β!↓`$x↓B`!↓`%↓B@!↓`%λ↓B !↓`%⊂↓B!↓`%_α↓@!↓`% α↓ !↓`%0α`!↓`%8α@ !↓`%H∞Vc4("∀Ebp_I`↓H%εI ⊂↓@A0⊂↓A	 ⊂↓@A0⊂↓A) ⊂↓@A0⊂↓AI ⊂↓@A0⊂↓@@⊂_%@0⊂¬@@0⊂↓i ⊂↓@A0⊂↓@@0_%@0⊂¬@@0⊂αi ⊂↓@A0⊂↓@@P_%@0⊂¬@@0⊂αA	 ⊂↓@A0⊂↓@@` %@0⊂¬@@0⊂β@i ⊂↓@A0⊂↓@A_%@0⊂¬@@0⊂∧@i ⊂↓@A0⊂↓@A _%@0⊂¬@@0⊂¬@i ⊂↓@A0⊂↓@A0 %@0⊂¬@@0⊂εi ⊂↓@A0⊂↓@AP_%@0⊂¬@@0⊂πi ⊂↓@A0⊂↓@Ap_%@0⊂¬@@0⊂λi ⊂↓@A0⊂↓@B %@0⊂¬@@0⊂λA	 ⊂↓@A0⊂↓@B⊂ %@0⊂¬@@0⊂λ@i ⊂↓@A0⊂↓@B_%@0⊂¬@@0⊂π@i ⊂↓@A0⊂↓@A`_%@0⊂¬@@0⊂ε@i ⊂↓@A0⊂↓@A@ %@0⊂¬@@0⊂¬A	 ⊂↓@A0⊂↓@A0_%@0⊂¬@@0⊂¬i ⊂↓@A0⊂↓@A⊂_%@0⊂¬@@0⊂∧i ⊂↓@A0⊂↓@@p %@0⊂¬@@0⊂β↓	 ⊂↓@A0⊂↓@@`_%@0⊂¬@@0⊂α@i ⊂↓@A0⊂↓@@@_%@0⊂¬@@0⊂↓@i ⊂↓@A0⊂↓@@ _%@0⊂¬@@0⊂A	 ⊂↓@A0⊂↓AI ⊂↓@A0⊂↓A) ⊂↓@A0⊂↓A	!P%ε(T )KEcλ∪E#∃p
↔ @_↓α` _↓↔P_↓α` _↓⊗``_↓α` _↓⊗`0λ↓` X↓`%P↓@@ _↓α` _↓⊗ 0_↓` X↓`%@↓A _↓α` _↓∃`0(↓` X↓`%0α↓  _↓α` _↓∃ @0↓` X↓`%(↓A` _↓α` _↓∃0@↓` X↓`%_↓B  _↓α` _↓∀@0P↓` X↓`%λ↓B` _↓α` _↓∀@X↓` X↓`%↓C _↓α` _↓∪`0h↓` X↓`$p↓C@ _↓α` _↓∪ 0x↓` X↓`$`↓D _↓α` _↓∩`A↓` X↓`$Pα∧  _↓α` _↓∩@Aλ↓` X↓`$X↓D  _↓α` _↓∪1↓` X↓`$h↓C` _↓α` _↓∪@0p↓` X↓`$x↓C  _↓α` _↓∪`@`↓` X↓`%αα` _↓α` _↓∀ 0X↓` X↓`%⊂↓B@ _↓α` _↓∀`0H↓` X↓`% ↓B _↓α` _↓∃@8↓` X↓`%(α↓@ _↓α` _↓∃@00↓` X↓`%8↓A  _↓α` _↓⊗0 ↓` X↓`%H↓@` _↓α` _↓⊗@0⊂↓` X↓`%Pα  _↓α` _↓⊗``_↓α` _↓↔P_↓α` _↓↔ @_↓α` _↓↔C%xQ(E ⊗ε∩8εi!h%@0⊂¬@@0⊂A) ⊂↓@A0⊂↓@@0 %@0⊂¬@@0⊂αA	 ⊂↓@A0⊂↓@@` %@0⊂¬@@0⊂∧i ⊂↓@A0⊂↓@A⊂_%@0⊂¬@@0⊂¬i ⊂↓@A0⊂↓@A0_%@0⊂¬@@0⊂εI ⊂↓@A0⊂↓@A@_%@0⊂¬@@0⊂ε@i ⊂↓@A0⊂↓@A`⊂%@0⊂¬@@0⊂πi ⊂↓@A0⊂↓@Ap⊂%@0⊂¬@@0⊂π@i ⊂↓@A0⊂↓@B⊂%@0⊂¬@@0⊂λI ⊂↓@A0⊂↓@B⊂%@0⊂¬@@0⊂λi ⊂↓@A0⊂↓@B⊂⊂%@0⊂¬@@0⊂λ@I ⊂↓@A0⊂↓@B⊂⊂%@0⊂¬@@0⊂λ@I ⊂↓@A0⊂↓@B⊂⊂%@0⊂¬@@0⊂λ@I ⊂↓@A0⊂↓@B⊂⊂%@0⊂¬@@0⊂λ@I ⊂↓@A0⊂↓@B_%@0⊂¬@@0⊂λI ⊂↓@A0⊂↓@B⊂%@0⊂¬@@0⊂π@i ⊂↓@A0⊂↓@Ap_%@0⊂¬@@0⊂π@I ⊂↓@A0⊂↓@A`_%@0⊂¬@@0⊂πI ⊂↓@A0⊂↓@AP_%@0⊂¬@@0⊂εi ⊂↓@A0⊂↓@A@⊂%@0⊂¬@@0⊂¬@i ⊂↓@A0⊂↓@A _%@0⊂¬@@0⊂∧@i ⊂↓@A0⊂↓@A_%@0⊂¬@@0⊂β↓	 ⊂↓@A0⊂↓@@P %@0⊂¬@@0⊂↓A	 ⊂↓@A0⊂↓@@⊂(%π)!X"Q
R`⊗$qλ
V#U8α@  _↓α` _↓∃@@_↓` X↓`% α↓  _↓α` _↓∀`@0↓` X↓`%⊂↓B _↓α` _↓∀ 0H↓` X↓`%↓B@ _↓α` _↓∪`0X↓` X↓`$x↓β _↓α` _↓∪@0`↓` X↓`$h↓C  _↓α` _↓∪  p↓` X↓`$`↓C@ _↓α` _↓∪ x↓` X↓`$X↓C` _↓α` _↓∩`!↓` X↓`$X↓∧ _↓α` _↓∩`!↓` X↓`$P↓D _↓α` _↓∩@!λ↓` X↓`$P↓∧  _↓α` _↓∩@!λ↓` X↓`$P↓∧  _↓α` _↓∩@!λ↓` X↓`$P↓∧  _↓α` _↓∩@!λ↓` X↓`$P↓∧  _↓α` _↓∩@1↓` X↓`$X↓∧ _↓α` _↓∩`!↓` X↓`$X↓C` _↓α` _↓∪ x↓` X↓`$`↓β` _↓α` _↓∪0p↓` X↓`$h↓β@ _↓α` _↓∪ 0h↓` X↓`$p↓C _↓α` _↓∪` `↓` X↓`$x↓B` _↓α` _↓∀0P↓` X↓`%λ↓B  _↓α` _↓∀@0@↓` X↓`%_α↓@ _↓α` _↓∃@(↓` X↓`%0α` _↓α` _↓∃`Pλ↓` X↓`%H∞Vc4("∃Cap_I`⊂
@) ⊂
I ⊂@i ⊂↓	 ⊂A) ⊂
Ai ⊂
↓ ⊂⊂%B0 ↓@I ⊂	↓@⊂%B⊂ α@I ⊂πA `⊂%A`(β@I ⊂εA↓⊂⊂%A@ ¬I ⊂¬A↓0⊂%A⊂(εI ⊂∧↓!P⊂%@p π@I ⊂β↓α⊂%@P λ@I ⊂↓A" ⊂%@  
I ⊂AαP⊂%↓B`⊂%↓"p⊂%↓β⊂%↓B`⊂%@⊂ 
@I ⊂↓↓α@⊂%@0 	@I ⊂α@b ⊂%@` λI ⊂βA↓p⊂%A πI ⊂∧A↓P⊂%A0_εI ⊂ε↓↓ ⊂%AP ∧@I ⊂π↓↓⊂%Ap β@I ⊂λAP⊂%B  αI ⊂	A0⊂%B@ ↓I ⊂
A⊂⊂%Bp(%C %C⊂_%C ⊂%C0λ"Q
qX
L$p↓∧@tP↓βA4P↓βp ↓∩@ PαB$P↓α @P↓∩@ 8αβ$P↓↓@@h↓∩@ (↓C`$P↓↓1↓∩@ _↓D $P↓@1⊂↓∩@ ⊂↓∧`$P↓ 1_↓∩@ λ↓¬$PαE$Pα¬ $Pα¬ $P↓E@$P↓E@$P↓E@$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓¬`$P↓E@$P↓E@$P↓E@$Pα¬ $Pα¬ $PαE$P↓ ! ↓∩@ λ↓D`$P↓@!_↓∩@ ⊂↓D@$P↓`1λ↓∩@  ↓D$P↓↓ 0x↓∩@ 0αβ $P↓↓`@`↓∩@ Hαα@$P↓α@P@↓∩@ `βA$P↓βA4P↓∧@t("⊗βap_I`λ
@I ⊂
I _@I  I (@I 8
@I ⊂A"@⊂%@0 	@I ⊂α↓α ⊂%@P λ@I ⊂β↓!p⊂%@p(πI ⊂∧A↓P⊂%A  εI ⊂¬A↓0⊂%A@(∧@I ⊂εA!⊂%Ap β@I ⊂λ↓`⊂%B⊂ α@I ⊂	↓ 0⊂%B@ ↓I ⊂
A⊂⊂%B`0%Bp(%C %B`0%BP @I ⊂
↓ ⊂%B0 ↓@I ⊂	`P⊂%B βI ⊂πAp⊂%A` ∧I ⊂εA↓⊂⊂%A@_¬@I ⊂¬↓↓@⊂%A⊂ ε@I ⊂∧↓↓`⊂%@p π@I ⊂αAα⊂⊂%@@ 	I ⊂↓Aα0⊂%@  
I ⊂AαP⊂%↓"p⊂%↓β⊂%c⊂⊂%C ⊂%#0⊂"P`⊗ εS@ε␈␈x␈⎇@	`8	I XπI ⊂α↓a@⊂%A(¬I ⊂¬↓↓⊂⊂%A@ β@I ⊂εA`⊂%Ap_α@I ⊂λ`@⊂%B⊂_↓@I ⊂	` ⊂%B0⊂↓I ⊂	@`⊂⊂%B@⊂@I ⊂
↓) ⊂
A	 ⊂
A	 ⊂i ⊂i ⊂i ⊂@I ⊂@I ⊂@I ⊂@I ⊂@I ⊂@I ⊂@I ⊂@I ⊂@I ⊂@I ⊂i ⊂i ⊂i ⊂
A	 ⊂
A	 ⊂
↓) ⊂
@⊂⊂%B0_@I ⊂	@@ ⊂%B _↓I ⊂λ@`0⊂%B_αI ⊂π@`P⊂%AP βI ⊂ε↓p⊂%A  ∧@I ⊂∧↓! ⊂%@@8εI XπI 8	H↑xπZ,F(7≥
⊗04Y."-∪*5HwF6x2~-f89Xmε(6Y$¬('∀j∧(!R(dH"Q≥p`3≠mg 3_,6(1≡.F(y@≥ >,[`
≥+`sm@ ⎇M` ⎇M␈␈x␈{`[?␈x␈o`[>b∂↓→HPβ`ε=D⊃pα3~πL({λC0∧3~∂/o0⊃F`@f4∨⊃>b ∂↓→HPβxε=DQpα3~λα8{	C0∧3~⊂(/0∪F`@f4!→>b@↔↓nλ'∧_D=E∩pβ\∀pλIx{
E@π∂.P⊃6o0∃Kp≡] #6>b`↔↓nλ'∧8}=ERpβ\∀p	⊗x{E@π∂.P∩\/0↔Kp≡] &_>c→αβ@"⎇F∪⊂∧π∞{F λ∞.␈0→L@↓≥∧↑c →αβX⎇(Pλ∃@0εr/(#,p∞3_→@↓`4⎇(pλ∃@0π(␈($,p∞3_→@↓p∞⎇I∩hβLf0βoP{∩EPπ→L`λ4o0%K p3→@∩2↑d`⊗@↓f03α8;=IRhβLf0¬)P{∪EPπ→L`(o0'K p3→@_~↑e⊗@↓f03β_=J"pβ\∀p	↑{∀e`π8)`∪u␈0*p≡] (←↑e(⊗↓ch:@¬_,⎇Japα3~
S {∃c0∧3~∃I∨0,π@HLh+R≡eH
@↓`h¬@.⎇K%ε3→P↓y@{_"`β;2 ε4o01¬@0vd@t>f_7∧3_→@⊂(=LI(EX{→.P∩f3 α∩∨03≥ α(Lf@∧p>f8:@∧YHMPx=Mπ(	3→P↓Ax{~ ε?O05
⊃}fX@↓↓PI=-@λε@+→L`∧?06F @
8}fp@↓↓X~=MqHαβ6_{≤β⊂∧
G/08F @≠!>g⊂@↓β0h=N<8⊂g_{≥⊗≤→L`∧</0:lβ@3→@	f>g0Xπε03↓((=N{∞f0αwX{≡α@β→L`
c?0<E03→@≠l∨⊂⊗5X_ow{⎇x